La teoría de números algebraicos o teoría algebraica de números es una rama de la teoría de los números en la cual el concepto de número se expande a los números algebraicos, los cuales son las raíces de los polinomios con coeficientes racionales.

Un campo de números algebraico es una extensión finita (algebraica) del campo de los números racionales. El anillo de enteros de un campo de números algebraico es el conjunto de los enteros en dicho campo, es decir, el subconjunto del campo que consta de los elementos que son raíces de polinomios con coeficientes enteros.

Se puede ver, y tratar, a un campo de números algebraico como un análogo de los racionales, y a su anillo de enteros como un análogo de los enteros. Ahora bien, la analogía no es perfecta: algunas de las propiedades familiares de los racionales y los enteros no se conservan, por ejemplo, la factorización única. (La teoría de ideales suple en parte la falta de factorización única.)

Los campos de números algebraicos, así como los campos de funciones, son llamados campos globales. Gran parte de la teoría se puede desarrollar de manera paralela para ambos tipos de objetos. La localización consiste en el pasaje de un campo global a un campo local: en el caso de los campos de funciones, este procedimiento consiste simplemente en dirigir la mirada a un punto en particular de la superficie o variedad estudiada, y concentrarse en cómo las funciones se comportan en su vecindad inmediata.